$\mathbb{P}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Type